Geoff Sutcliffe: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Solving the $100 modal logic challenge

Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen

Journal:

Journal of Applied Logic

Year:

2009

Language:

english

File:

PDF, 296 KB

english, 2009

2

Evaluating general purpose automated theorem proving systems

Geoff Sutcliffe, Christian Suttner

Journal:

Artificial Intelligence

Year:

2001

Language:

english

File:

PDF, 216 KB

english, 2001

3

Empirically Successful Automated Reasoning: Applications Issue

Bernd Fischer, Geoff Sutcliffe, Stephan Schulz

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 113 KB

english, 2006

4

Fictional Worlds

Thomas, Mary, Abrahamsson, Christian, Mann, Geoff, Nagar, Richa, Kumar, Tarun, Krupar, Shiloh R, Romanillos, José, Shaw, Wendy S, Bonazzi, Alessandra, Sutcliffe, Michael, Wylie, John, Nast, Heidi J, O

Journal:

Environment and Planning D

Year:

2011

Language:

english

File:

PDF, 466 KB

english, 2011

5

ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments

Josef Urban, Geoff Sutcliffe

Journal:

Mathematics in Computer Science

Year:

2008

Language:

english

File:

PDF, 1.94 MB

english, 2008

6

Empirically successful computerized reasoning

Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz

Journal:

Journal of Applied Logic

Year:

2009

Language:

english

File:

PDF, 65 KB

english, 2009

7

The TPTP Problem Library and Associated Infrastructure

Geoff Sutcliffe

Journal:

Journal of Automated Reasoning

Year:

2009

Language:

english

File:

PDF, 1.03 MB

english, 2009

8

The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9

Sutcliffe, Geoff

Journal:

AI Communications

Year:

2018

Language:

english

File:

PDF, 200 KB

english, 2018

9

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 3835 || The Relationship Between Reasoning About Privacy and Default Logics

Sutcliffe, Geoff, Voronkov, Andrei

Year:

2005

Language:

english

File:

PDF, 442 KB

english, 2005

10

Compulsory reduction in linear derivation systems

Geoff Sutcliffe

Journal:

Artificial Intelligence

Year:

1991

Language:

english

File:

PDF, 81 KB

english, 1991

11

Conclusions about the CADE-13 ATP System Competition

Francis Jeffry Pelletier, Geoff Sutcliffe, Christian Suttner

Journal:

Journal of Automated Reasoning

Year:

1997

Language:

english

File:

PDF, 56 KB

english, 1997

12

The CADE-25 Automated Theorem Proving system competition – CASC-25

Sutcliffe, Geoff, Urban, Josef

Journal:

AI Communications

Year:

2016

Language:

english

File:

PDF, 119 KB

english, 2016

13

An Erratum for Some Errata to ATP Problems

FRANCIS JEFFRY PELLETIER, GEOFF SUTCLIFFE

Journal:

Journal of Automated Reasoning

Year:

1997

Language:

english

File:

PDF, 45 KB

english, 1997

14

The 8th IJCAR automated theorem proving system competition – CASC-J8

Sutcliffe, Geoff

Journal:

AI Communications

Year:

2016

Language:

english

File:

PDF, 140 KB

english, 2016

15

The CADE-14 ATP System Competition

Christian Suttner, Geoff Sutcliffe

Journal:

Journal of Automated Reasoning

Year:

1998

Language:

english

File:

PDF, 289 KB

english, 1998

16

PREFACE

SCHULZ, STEPHAN, SUTCLIFFE, GEOFF, TAMMET, TANEL

Journal:

International Journal of Artificial Intelligence Tools

Year:

2006

Language:

english

File:

PDF, 68 KB

english, 2006

17

Integrated software for mechanical CAE

Sutcliffe, Geoff

Journal:

Computer-Aided Engineering Journal

Year:

1987

Language:

english

File:

PDF, 1.14 MB

english, 1987

18

The CADE ATP System Competition — CASC

Sutcliffe, Geoff

Journal:

Year:

2016

File:

PDF, 411 KB

2016

19

The Results - of the CADE-13 ATP System Competition

Geoff Sutcliffe, Christian Suttner

Journal:

Journal of Automated Reasoning

Year:

1997

Language:

english

File:

PDF, 210 KB

english, 1997

20

Knowledge acquisition for natural resource management

Alison Gunn, Geoff Sutcliffe, Daniel Walker

Journal:

Computers and Electronics in Agriculture

Year:

1999

Language:

english

File:

PDF, 422 KB

english, 1999

21

Of metal and modelling

Sutcliffe, Geoff

Journal:

Manufacturing Engineer

Year:

1992

Language:

english

File:

PDF, 494 KB

english, 1992

22

The 7th IJCAR automated theorem proving system competitionÂ â CASC-J7

Sutcliffe, Geoff

Journal:

AI Communications

Year:

2015

File:

PDF, 104 KB

2015

23

The CADE-13 ATP System Competition

Geoff Sutcliffe, Christian Suttner

Journal:

Journal of Automated Reasoning

Year:

1997

Language:

english

File:

PDF, 13 KB

english, 1997

24

The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9

Sutcliffe, Geoff

Journal:

AI Communications

Year:

2018

File:

PDF, 200 KB

2018

25

The TPTP Problem Library

Geoff Sutcliffe, Christian Suttner

Journal:

Journal of Automated Reasoning

Year:

1998

Language:

english

File:

PDF, 192 KB

english, 1998

26

The Procedures of the CADE-13 ATP System Competition

Geoff Sutcliffe, Christian Suttner

Journal:

Journal of Automated Reasoning

Year:

1997

Language:

english

File:

PDF, 78 KB

english, 1997

27

Integrated software for mechanical CAE

Sutcliffe, Geoff

Journal:

Computer-Aided Engineering Journal

Year:

1987

Language:

english

File:

PDF, 1.14 MB

english, 1987

28

The CADE ATP System Competition — CASC

Sutcliffe, Geoff

Journal:

Year:

2016

Language:

english

File:

PDF, 411 KB

english, 2016

29

Childhood encephalopathy: viruses, immune response, and outcome

Michael Clarke, Richard W Newton, Paul E Klapper, H Sutcliffe BSc, I Laing, Geoff Wallace

Journal:

Developmental Medicine & Child Neurology

Year:

2006

Language:

english

File:

PDF, 106 KB

english, 2006

30

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 3835 ||

Sutcliffe, Geoff, Voronkov, Andrei

Year:

2005

Language:

english

File:

PDF, 6.68 MB

english, 2005

31

SEMANTIC DERIVATION VERIFICATION: TECHNIQUES AND IMPLEMENTATION

SUTCLIFFE, GEOFF

Journal:

International Journal of Artificial Intelligence Tools

Year:

2006

Language:

english

File:

PDF, 225 KB

english, 2006

32

Automated verification of refinement laws

Peter Höfner, Georg Struth, Geoff Sutcliffe

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 411 KB

english, 2009

33

An Interactive Derivation Viewer

Steven Trac, Yury Puzis, Geoff Sutcliffe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 1.05 MB

english, 2007

34

The CADE-16 ATP System Competition

Geoff Sutcliffe

Journal:

Journal of Automated Reasoning

Year:

2000

Language:

english

File:

PDF, 156 KB

english, 2000

35

The CADE-26 automated theorem proving system competition – CASC-26

Sutcliffe, Geoff

Journal:

AI Communications

Year:

2017

Language:

english

File:

PDF, 185 KB

english, 2017

36

The Design of the CADE-13 ATP System Competition

Christian Suttner, Geoff Sutcliffe

Journal:

Journal of Automated Reasoning

Year:

1997

Language:

english

File:

PDF, 210 KB

english, 1997

37

The CADE-27 Automated theorem proving System Competition â CASC-27

Sutcliffe, Geoff

Journal:

AI Communications

Year:

2020

File:

PDF, 161 KB

2020

38

ATP and Presentation Service for Mizar Formalizations

Josef Urban, Piotr Rudnicki, Geoff Sutcliffe

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 349 KB

english, 2013

39

The TPTP Problem Library, Release v1.2.0

Sutcliffe, Geoff, Suttner, Christian

Journal:

Logic Journal of IGPL

Year:

1995

Language:

english

File:

PDF, 135 KB

english, 1995

40

Empirically Successful Automated Reasoning: Systems Issue

Bernd Fischer, Geoff Sutcliffe, Stephan Schulz

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 113 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски